ارائه یک روش تشخیص خطاهای روند کنترلی مبتنی بر قابلیت های سخت افزاری پردازنده

امروزه استفاده از پردازنده های همه منظوره تجاری در کاربردهای بحرانی-ایمن بسیار مورد توجه قرار گرفته است. از جایی که رخداد خرابی در سیستم های بحرانی-ایمن منجر به فجایع جانی، مالی و زیست محیطی می شود؛ جهت جلوگیری از رخداد خرابی در این گونه سیستم‎ها، لازم است که اشکال های موجود هر چه سریع تر کشف و سپس بازیابی شوند. احتمال رخداد اشکال های گذرا و ادواری 10 تا 30 برابر بیشتر از احتمال رخداد اشکال های دائمی است و تا حدود 77 درصد اشکال های گذرا باعث رخداد خطاهای روند کنترلی می شوند؛ از این رو روش های وارسی روند کنترلی جهت بالا بردن قابلیت اطمینان پردازنده ها از اهمیت ویژه ای برخوردار هستند. در این پایان نامه دو روش جهت کشف و پوشاندن خطاهای روند کنترلی ارائه شده است. روش اول (cfcpc) به کمک نرم افزار و با استفاده از ویژگی شمارنده های کارایی که در اغلب پردازنده های مدرن وجود دارد عمل وارسی روند کنترلی را انجام می دهد. در این روش با شمارش دستورالعمل های اجرا شده در هر بلوک پایه، عمل کشف خطا انجام می شود. این روش قادر به تشخیص 97.9% از اشکال های تزریق شده می باشد در حالی که سربار کارایی این روش 115.6% و سربار حافظه 25.97% است. در روش دوم (cvtmr) که به منظور پوشاندن خطاهای روند کنترلی غیرصحیح ارائه شده است، ایده اصلی شناسایی متغیرهای کنترلی و اعمال یک روش پوشاندن اشکال مناسب روی این متغیرهاست. این روش می تواند تمامی اشکال های تزریق شده را با تحمیل سربارهای کارایی و حافظه ناچیزی بپوشاند.